<?php
class resource_exception extends system_exception {
	
}
